]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 00fc4a2) | patch
popupMenu: round spacing to an integer
authorOwen W. Taylor <otaylor@fishsoup.net>
Fri, 25 Mar 2011 22:40:38 +0000 (18:40 -0400)
committerDan Winship <danw@gnome.org>
Fri, 25 Mar 2011 22:55:40 +0000 (18:55 -0400)
commit3bbdecc6b328d7988a488f0e78af1ee1822e2d76
treeadf08b1c02adb6162d58130c5eee927ea2dc08e0tree | snapshot
parent00fc4a2eb76e088632aa9551f3a368eac8e00928commit | diff
popupMenu: round spacing to an integer

StThemeNode.get_length() doesn't necessarily return an integer pixel
value, and our code produces non-integer positions in that case. So
round the spacing.

https://bugzilla.gnome.org/show_bug.cgi?id=645647
js/ui/popupMenu.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.